4

Consistency of formalized specifications in multilevel programming

Year:
1993
Language:
english
File:
PDF, 672 KB
english, 1993
5

Deadlock and fictitiousness problem in parallel program specifications

Year:
1994
Language:
english
File:
PDF, 586 KB
english, 1994